<html><body>
The <b>Help</b>&gt;<b>About jEdit</b> dialog box is really cool.
</body></html>
